Erratum to: Demonstratives without rigidity or ambiguity

Reference and Ambiguity in Complex Demonstratives

Intensional Verbs Without Type-Raising or Lexical Ambiguity

We present an analysis of the semantic interpretation of intensional verbs such as seek that allows them to take direct objects of either individual or quantifier type, producing both de dicto and de re readings in the quantifier case, all without needing to stipulate type-raising or quantifying-in rules. This simple account follows directly from our use of logical deduction in linear logic to ...

Ambiguity without a State Space

Many decisions involve both imprecise probabilities and intractable states of the world. Objective expected utility assumes unambiguous probabilities; subjective expected utility assumes a completely specified state space. This paper analyzes a third domain of preference: sets of consequential lotteries. Using this domain, we develop a theory of Knightian ambiguity without explicitly invoking a...

Erratum to: Nonlinear programming without a penalty function or a filter

This note reports a correction to the results obtained by [2], in which an error was unfortunately discovered during work with D. Robinson. The problem is in the proof of Lemma 3.10 of this reference, where it is claimed that Lemma 6.5.3 of [1] can be invoked to deduce that ρc k ≥ η2, where ρc k is a specific ratio of achieved to predicted reduction is constraint violation and η2 is a constant ...

Hawking’s Local Rigidity Theorem without Analyticity

We prove the existence of a Hawking Killing vector-field in a full neighborhood of a local, regular, bifurcate, non-expanding horizon embedded in a smooth vacuum Einstein manifold. The result extends a previous result of Friedrich, Rácz and Wald, see [7, Proposition B.1], which was limited to the domain of dependence of the bifurcate horizon. So far, the existence of a Killing vector-field in a...